Conjunt no numerable

Un conjunt no numerable^[1] és un conjunt que no pot ser enumerat, és a dir, un conjunt tal que no existeix una funció exhaustiva del conjunt dels nombres naturals a eixe conjunt. És a dir, un conjunt ${\displaystyle A}$ és no numerable si no existeix cap funció f tal que:

${\displaystyle f:\mathbb {N} \to A\quad \land \quad f:{\mbox{suprajectiva}}}$

L'argument diagonal de Cantor és una demostració senzilla que existeixen conjunts infinits que no són numerables.